A new algorithm for real root isolation of polynomial equations based onhybrid computation is presented in this paper. Firstly, the approximate(complex) zeros of the given polynomial equations are obtained via homotopycontinuation method. Then, for each approximate zero, an initial box relying onthe Kantorovich theorem is constructed, which contains the correspondingaccurate zero. Finally, the Krawczyk interval iteration with intervalarithmetic is applied to the initial boxes so as to check whether or not thecorresponding approximate zeros are real and to obtain the real root isolationboxes. Meanwhile, an empirical construction of initial box is provided forhigher performance. Our experiments on many benchmarks show that the new hybridmethod is more efficient, compared with the traditional symbolic approaches.
展开▼
